Bounded Martin’s Maximum is stronger than the Bounded Semi-proper Forcing Axiom
نویسنده
چکیده
We show that if Bounded Martin’s Maximum (BMM) holds then for every X ∈ V there is an inner model with a strong cardinal containing X. In particular, by [1], BMM is strictly stronger consistency-wise than the Bounded Semi-Proper Forcing Axiom (BSPFA).
منابع مشابه
Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum
We show that L(R) absoluteness for semi-proper forcings is equiconsistent with the existence of a remarkable cardinal, and hence by [6] with L(R) absoluteness for proper forcings. By [7], L(R) absoluteness for stationary set preserving forcings gives an inner model with a strong cardinal. By [3], the Bounded Semi-Proper Forcing Axiom (BSPFA) is equiconsistent with the Bounded Proper Forcing Axi...
متن کاملBounded forcing axioms and the continuum
We show that bounded forcing axioms (for instance, the Bounded Proper Forcing Axiom and the Bounded Semiproper Forcing Axiom) are consistent with the existence of (!2; !2)-gaps and thus do not imply the Open Coloring Axiom. They are also consistent with Jensen’s combinatorial principles for L at the level !2, and therefore with the existence of an !2-Suslin tree. We also show that the axiom we ...
متن کاملHierarchies of Forcing Axioms, the Continuum Hypothesis and Square Principles
I analyze the hierarchies of the bounded and the weak bounded forcing axioms, with a focus on their versions for the class of subcomplete forcings, in terms of implications and consistency strengths. For the weak hierarchy, I provide level-by-level equiconsistencies with an appropriate hierarchy of partially remarkable cardinals. I also show that the subcomplete forcing axiom implies Larson’s o...
متن کاملThe Bounded Axiom A Forcing Axiom
We introduce the Bounded Axiom A Forcing Axiom(BAAFA). It turns out that it is equiconsistent with the existence of a regular Σ2-correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom(BPFA).
متن کاملThe Bounded Proper Forcing Axiom
The bounded proper forcing axiom BPFA is the statement that for any family of א1 many maximal antichains of a proper forcing notion, each of size א1, there is a directed set meeting all these antichains. A regular cardinal κ is called Σ1-reflecting, if for any regular cardinal χ, for all formulas φ, “H(χ) |= ‘φ’ ” implies “∃δ<κ, H(δ) |= ‘φ’ ” We show that BPFA is equivalent to the statement tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003